Simon model - PDFSEARCH.IO - Document Search Engine

Simon model
Results: 309

#	Item
81	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
82	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming
83	What Next for ASP? (A Not-Entirely-Well-Informed Opinion) James Delgrande School of Computing Science Simon Fraser University Burnaby BC, V5A 1S6, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:54:41 Science Non-classical logic Mathematical logic Programming paradigms Knowledge representation Non-monotonic logic Stable model semantics Default logic Knowledge representation and reasoning Logic programming Reasoning Logic
84	Horn Clause Belief Change: Contraction Functions James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:16 Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Entailment Function Contraction Logic Mathematics Model theory
85	Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:49:07 Logic programming Model theory Functions and mappings Interpretation Entailment Symbol Logical connective Belief revision Function Logic Mathematics Metalogic
86	On the Relation between Reiter’s Default Logic and its (major) Variants James P. Delgrande1 and Torsten Schaub2 1 School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 , Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:40:17 Model theory Default logic Knowledge representation Logic programming Non-classical logic Symbol Interpretation First-order logic Function Mathematical logic Logic Mathematics
87	A Consistency-Based Framework for Merging Knowledge Bases James P. Delgrande ∗ School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 Torsten Schaub 1 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:24:28 Belief revision Model theory Semantics Constructible universe Interpretation Symbol Entailment Logic Logic programming Knowledge representation
88	Belief change based on global minimisation James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:50:01 Structure Universal algebra Interpretation Symbol Metaphilosophy Orbifold Model theory Logic Mathematics
89	Driver Model, Kconfig and a little Patman U-Boot Miniconf Edinburgh Oct-13 Simon Glass Add to Reading List Source URL: www.denx.de Language: English - Date: 2013-10-31 05:20:28 C++ C programming language Procedural programming languages Struct C++ classes C ALGOL 68 Programming language theory Computing Software engineering
90	SQUALE – Software QUALity Enhancement Alexandre Bergel1 , Simon Denier1 , Stéphane Ducasse1 , Jannik Laval1 , Fabrice Bellingard2 , Philippe Vaillergues2 , Françoise Balmas3 , Karine Mordal-Manet3 1 RMoD Team, INRIA, Add to Reading List Source URL: www.jannik-laval.eu Language: English - Date: 2011-06-28 09:25:47 Software Software metrics Squale ISO/IEC Software quality model COCOMO Software development process Quality assurance Quality management Software engineering Software quality Software development

UPDATE